Computing Science Refinement Patterns Bibliographical Details Suggested Keywords Refinement Patterns
نویسندگان
چکیده
Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing a model. Poor methodological and tool support means formal modelling is an expensive and laborious process which can produce poor quality specifications. Refinement patterns offer a constructive top-down approach to formal modelling by guiding a developer and providing reusable design solutions. Extensive application of high-quality, peer-reviewed refinement patterns results in improved overall dependability of the system by ensuring highqualityby-construction of formal models. Application of the fault tolerance refinement patterns can further improve system dependability by helping developers to apply fault tolerance in a disciplined, systematic and cost-effective way to ensure that system failures are prevented from happening. About the author Alexei Iliasov University of Newcastle upon Tyne, Newcastle upon Tyne, England Suggested keywords FORMAL MODELLING, REUSE, REFINEMENT Refinement Patterns A. Iliasov Abstract Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing a model. Poor methodological and tool support means formal modelling is an expensive and laborious process which can produce poor quality specifications. Refinement patterns offer a constructive top-down approach to formal modelling by guiding a developer and providing reusable design solutions. Extensive application of high-quality, peer-reviewed refinement patterns results in improved overall dependability of the system by ensuring highquality-by-construction of formal models. Application of the fault tolerance refinement patterns can further improve system dependability by helping developers to apply fault tolerance in a disciplined, systematic and cost-effective way to ensure that system failures are prevented from happening.Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing a model. Poor methodological and tool support means formal modelling is an expensive and laborious process which can produce poor quality specifications. Refinement patterns offer a constructive top-down approach to formal modelling by guiding a developer and providing reusable design solutions. Extensive application of high-quality, peer-reviewed refinement patterns results in improved overall dependability of the system by ensuring highquality-by-construction of formal models. Application of the fault tolerance refinement patterns can further improve system dependability by helping developers to apply fault tolerance in a disciplined, systematic and cost-effective way to ensure that system failures are prevented from happening.
منابع مشابه
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalability. In this paper, we aim at assisting developers in rigorous modelling and design by increasing automation of development steps. We introduce a notion of refinement patterns – generic representations of typical corre...
متن کاملCOMPUTING SCIENCE Patterns for Representing FMEA in Formal Specification of Control Systems
Failure Modes and Effect analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with valuable information about failure modes of system components as well as procedures for error detection and recovery. In this paper we propose an approach that facilitates representation of FMEA results in formal Event-B specifications of control systems. We define a n...
متن کاملFrom Pattern Languages to Solution Implementations
Patterns are a well-known and often used concept in the domain of computer science. They document proven solutions to recurring problems in a specific context and in a generic way. So patterns are applicable in a multiplicity of specific use cases. However, since the concept of patterns aims at generalization and abstraction of solution knowledge, it is difficult to apply solutions provided by ...
متن کاملPatterns of Designer-User Interactions in the Design Refinement Process
In this paper, we empirically explore designer-user interaction patterns in the design refinement process. To do this, we ask the following research question--what do interactions between designers and users characterize distinctive patterns in the design refinement process? As an empirical approach, this study analyzed twenty-seven design refinement project narratives with a grounded theory ap...
متن کاملA Method to Automate Cloud Application Management Patterns
Management patterns are a well-established concept to document reusable solutions for recurring application management issues in a certain context. Their generic nature provides a powerful means to describe application management knowledge in an abstract fashion that can be refined for individual use cases manually. However, manual refinement of abstract management patterns for concrete applica...
متن کامل